Nuprl Definition : nth_tl
11,40
postcript
pdf
nth_tl(
n
;
as
) == if
n
z 0 then
as
else nth_tl(
n
- 1;tl(
as
)) fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
i
z
j
,
f
(
a
)
,
n
-
m
,
#$n
,
tl(
l
)
FDL editor aliases
nth_tl
origin